<?php

	$url = $_REQUEST["url"];
//	unset($_REQUEST["url"]);
//	$params = implode("&", $_REQUEST);
	header ("content-type: text/xml");
#	print file_get_contents($url . sprintf("?request=%s&outputformat=%s&typename=%s&version=%s&service=%s", $_REQUEST["request"], $_REQUEST["outputformat"], $_REQUEST["typename"], $_REQUEST["version"], $_REQUEST["service"] ) ); 
	print file_get_contents($url); 
?>